首页> 外文OA文献 >High-level Programming and Symbolic Reasoning on IoT Resource Constrained Devices

【2h】

High-level Programming and Symbolic Reasoning on IoT Resource Constrained Devices

机译：物联网资源受限设备的高级编程和符号推理

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Salvatore Gaglio; Gloria Martorella; Daniele Peri;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Programming Ad-hoc Networks of mobile and resource-constrained devices [J] . Ni Y, Kremer U, Stere A, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2005,第6期

机译：对移动和资源受限设备的Ad-hoc网络进行编程
2. Return-oriented programming on a resource constrained device [J] . Weidler Nathanael R., Brown Dane, Mitchell Samuel A., Sustainable Computing . 2019,第JUNa期

机译：资源受限设备上的面向返回的编程
3. Return-oriented programming on a resource constrained device [J] . Weidler Nathanael R., Brown Dane, Mitchell Samuel A., Sustainable Computing . 2019,第Juna期

机译：在资源受限设备上取向返回的编程
4. Data and control points: A programming model for resource-constrained iot cloud edge devices [C] . Stefan Nastic, Hong-Linh Truong, Schahram Dustdar International Conference on Systems, Man, and Cybernetics . 2017

机译：数据和控制点：资源受限的物联网云边缘设备的编程模型
5. Defense in Depth of Resource-Constrained Devices [D] . Jenkins, Ira Ray. 2020

机译：资源受限设备深度防御
6. Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices [O] . Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, 2021

机译：基于知识的基于知识编程模式的验证受到资源受限嵌入式设备的自然语言的启发
7. High-level programming and symbolic reasoning on IoT resource constrained devices [O] . Gaglio S., Lo Re G., Martorella G., 2015

机译：物联网资源受限设备的高级编程和符号推理

High-level Programming and Symbolic Reasoning on IoT Resource Constrained Devices

著录项

引文网络

相似文献

相关主题

期刊订阅